Profile-guided optimization
https://en.wikipedia.org/wiki/Profile-guided_optimization